<html>
<head><meta charset="utf-8"><title>sealed rust design meeting · t-lang · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/index.html">t-lang</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/sealed.20rust.20design.20meeting.html">sealed rust design meeting</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="191495623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/sealed%20rust%20design%20meeting/near/191495623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/sealed.20rust.20design.20meeting.html#191495623">(Mar 23 2020 at 16:05)</a>:</h4>
<p>Hi there <span class="user-group-mention" data-user-group-id="1977">@T-lang</span> and others -- sealed rust design meeting, features <span class="user-mention" data-user-id="228912">@James Munns</span>, starting now (<a href="https://mozilla.zoom.us/j/768231760" target="_blank" title="https://mozilla.zoom.us/j/768231760">Zoom</a>)</p>
<p><a href="https://paper.dropbox.com/doc/Sealed-Rust-Design-Meeting--AwtaUuBRZFIZDXJX1Nhnb4rOAg-4vwyJGKCAa2X9BKSbRxPl" target="_blank" title="https://paper.dropbox.com/doc/Sealed-Rust-Design-Meeting--AwtaUuBRZFIZDXJX1Nhnb4rOAg-4vwyJGKCAa2X9BKSbRxPl">Dropbox paper</a></p>



<a name="191495831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/sealed%20rust%20design%20meeting/near/191495831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> boats <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/sealed.20rust.20design.20meeting.html#191495831">(Mar 23 2020 at 16:06)</a>:</h4>
<p>joining soon :)</p>



<a name="191504218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/sealed%20rust%20design%20meeting/near/191504218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> James Munns <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/sealed.20rust.20design.20meeting.html#191504218">(Mar 23 2020 at 17:01)</a>:</h4>
<p>Hah! I forgot to plug in my machine, and it died right at the end :)</p>



<a name="191504320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/sealed%20rust%20design%20meeting/near/191504320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/sealed.20rust.20design.20meeting.html#191504320">(Mar 23 2020 at 17:02)</a>:</h4>
<p>I think we got the gist of it :D</p>



<a name="191504406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/sealed%20rust%20design%20meeting/near/191504406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> James Munns <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/sealed.20rust.20design.20meeting.html#191504406">(Mar 23 2020 at 17:02)</a>:</h4>
<p>In case you couldn't hear my last point:</p>
<p>Feel free to reach out if you have ideas. We're coming up with the plan as we go, based on ours and others experiences. If something sounds wrong, let me know, because it's either a bug in our plan, or a bug in our communication about the plan :)</p>



<a name="191504450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/sealed%20rust%20design%20meeting/near/191504450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/sealed.20rust.20design.20meeting.html#191504450">(Mar 23 2020 at 17:02)</a>:</h4>
<p>the thing I was going to say: if the sealed compiler does fewer optimizations, it could work with a simpler operational semantics.  like, it might not need Stacked Borrows. that would simplify the spec. but there is also a risk here of forking the language, because fewer code would then be UB in "sealed rust" than is UB in "stable rust", which is not good. no conclusion here, just food for thought. ;)</p>



<a name="191504451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/sealed%20rust%20design%20meeting/near/191504451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> James Munns <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/sealed.20rust.20design.20meeting.html#191504451">(Mar 23 2020 at 17:02)</a>:</h4>
<p>But, thanks again for having me to chat, happy to follow up whenever.</p>



<a name="191504657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/sealed%20rust%20design%20meeting/near/191504657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/sealed.20rust.20design.20meeting.html#191504657">(Mar 23 2020 at 17:04)</a>:</h4>
<p><span class="user-mention" data-user-id="228912">@James Munns</span> thanks for being so communicative, what you said sounds great to me :)</p>



<a name="191530271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/sealed%20rust%20design%20meeting/near/191530271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/sealed.20rust.20design.20meeting.html#191530271">(Mar 23 2020 at 20:16)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> interesting thought re: simpler op-sem, I hadn't considered that, although I agree that it does seem like not a clear win</p>



<a name="208735712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/sealed%20rust%20design%20meeting/near/208735712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/sealed.20rust.20design.20meeting.html#208735712">(Sep 01 2020 at 19:26)</a>:</h4>
<p>I was talking to <span class="user-mention" data-user-id="215333">@Florian Gilcher</span> (cc <span class="user-mention" data-user-id="228912">@James Munns</span>) and he mentioned the idea of a "sealed rust design meeting" to talk over the idea with <span class="user-group-mention" data-user-group-id="1977">@T-lang</span>. I suggested that he <a href="https://github.com/rust-lang/lang-team/issues/new?assignees=&amp;labels=meeting-proposal%2C+T-lang&amp;template=meeting-proposal.md&amp;title=%28My+meeting+proposal%29">file an issue</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>